Ruurd Kuiper: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the 13th ACM SIGACT-SIGPLAN symposium - St. Petersburg Beach, Florida (1986.01.01-..)] Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86 - A really abstract concurrent model and its temporal logic

Barringer, Howard, Kuiper, Ruurd, Pnueli, Amir

Year:

1986

Language:

english

File:

PDF, 1.89 MB

english, 1986

2

Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic

Dignum, Frank, Kuiper, Ruurd

Journal:

International Journal of Electronic Commerce

Year:

1998

Language:

english

File:

PDF, 1.44 MB

english, 1998

3

Modular Termination Verification of Single-Threaded and Multithreaded Programs

Jacobs, Bart, Bosnacki, Dragan, Kuiper, Ruurd

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2018

Language:

english

File:

PDF, 5.81 MB

english, 2018

4

Formal Aspects of Digital Commerce || Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic

Frank Dignum and Ruurd Kuiper

Journal:

International Journal of Electronic Commerce

Year:

1998-1999

Language:

english

File:

PDF, 1.58 MB

english, 1998-1999

5

[ACM Press the 13th International Conference - Lugano, Switzerland (2016.08.29-2016.09.02)] Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools - PPPJ '16 - Dependency Safety for Java

Bošnački, Dragan, van den Brand, Mark, Denissen, Philippe, Huizing, Cornelis, Jacobs, Bart, Kuiper, Ruurd, Wijs, Anton, Wiłkowski, Maciej, Zhang, Dan

Year:

2016

Language:

english

File:

PDF, 278 KB

english, 2016

6

Invariants for Non-Hierarchical Object Structures

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 372 KB

english, 2008

7

Partial-order Reduction Techniques for Real-time Model Checking

Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 120 KB

english, 1998

8

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 388 KB

english, 1999

9

Binding of Carbon Monoxide to α-Hemocyanin and β-Hemocyanin from Helix pomatia

Harry A. KUIPER, Ruurd TORENSMA, Ernst F. J. VAN BRUGGEN

Journal:

Year:

1976

Language:

english

File:

PDF, 443 KB

english, 1976

10

Cooperation-based Invariants for OO Languages

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik Luit

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 305 KB

english, 2006

11

Improving Partial Order Reductions for Universal Branching Time Properties

Penczek, Wojciech, Szreter, Maciej, Gerth, Rob, Kuiper, Ruurd

Journal:

Fundamenta Informaticae

Year:

2000

File:

PDF, 1.13 MB

2000

12

Compositional verification of real-time systems with Explicit Clock Temporal Logic

Ping Zhou, Jozef Hooman, Ruurd Kuiper

Journal:

Formal Aspects of Computing

Year:

1996

Language:

english

File:

PDF, 1.78 MB

english, 1996

13

[ACM Press the sixteenth annual ACM symposium - Not Known (1984..-..)] Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 - Now you may compose temporal logic specifications

Barringer, Howard, Kuiper, Ruurd, Pnueli, Amir

Year:

1984

Language:

english

File:

PDF, 1.04 MB

english, 1984

14

Dependency safety for Java – Implementing and testing failboxes

Zhang, Dan, Bošnački, Dragan, van den Brand, Mark, Huizing, Cornelis, Jacobs, Bart, Kuiper, Ruurd, Wijs, Anton

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 787 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски